An Isomorphism Testing Algorithm for Directed Graphs: the In-degree and Out-degree Sequence Method 有向图的同构判定算法:出入度序列法
This paper suggests an isomorphism detecting algorithm based on equivalent class, which improves the efficiency of context isomorphism detection. 本文提出的基于等价类法的形式背景同构判定算法,有效地提高了同构判定的效率。
A new isomorphism testing algorithm for graphs is presented, which consists of incidence degree sequence method and improved golden section incidence degree sequence method. 提出了图的同构判定新算法,即关联度序列法和黄金分割关联度序列法。
Isomorphism Testing Algorithm for Arbitrary Graphs& the Eigenvector-Based Method 任意图的同构判定算法:特征向量法
Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis. 模式匹配采用了抽象语法树同构判断算法;指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的;跨过程分析采用基于总结的上下文敏感分析方法。
First, this research analyzes the code similarity detecting technology based string matching, and improved. Second, this research is to fully tap the structure of program code, and present a way based sub-graph isomorphism algorithm. 首先分析了基于串匹配算法的代码相似度检测方法,并对其进行了改进;然后充分挖掘程序代码的结构信息,设计了基于子图同构算法的代码相似度检测方法。
Up to now, there is no graph isomorphism algorithm with polynomial complexity for general graphs in the classical computation. 截至目前,在经典计算领域,尚无面向一般图的多项式级计算复杂度的图同构算法。